Primitivity in mereology. II.
نویسندگان
چکیده
منابع مشابه
Mereology and Rough Mereology: Rough Mereological Granulation
In this chapter, we embark on a more specific granulation theory, stemming from the mereological theory of things. This mechanism provides us with tolerance and weak tolerance relations forming a graded similarity in the sense of Chap.1 and with resulting therefrom granules. To put the necessary notions in a proper order, we are going to discuss mereology, rough mereology and the mereological g...
متن کاملContext Mereology
We show that under a small number of assumptions, it is possible to interpret truth in a context as a quantification over truth in 'atomic' or pointlike contexts, which are transparent to all the connectives. We discuss the necessary assumptions and suggest conditions under which they are intuitively reasonable. Introduction This note is inspired by the context logic originally introduced by J....
متن کاملComplexity of testing morphic primitivity
The word u = abaaba satisfies f(u) = u where f maps b to aba and cancels a. Such words, which are fixed points of a nontrivial morphism, are called morphically imprimitive. On the other hand, the word u′ = abba can be easily verified to be morphically primitive, which means that the only morphism satisfying f(u′) = u′ defined on {a, b}∗ is the identity. Fixed points of word morphisms and morphi...
متن کاملMereology, Modality and Magic
If the property being a methane molecule is a universal, then it is a structural universal: objects instantiate being a methane molecule just in case they have the right sorts of proper parts arranged in the right sort of way. Lewis argued that there can be no satisfactory account of structural universals; in this paper I provide a satisfactory account.
متن کاملMorphic Primitivity and Alphabet Reductions
An alphabet reduction is a 1-uniform morphism that maps a word to an image that contains a smaller number of different letters. In the present paper we investigate the effect of alphabet reductions on morphically primitive words, i. e., words that are not a fixed point of a nontrivial morphism. Our first main result answers a question on the existence of unambiguous alphabet reductions for such...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1978
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888396